Nuprl Definition : normalize-constraints
11,40
postcript
pdf
normalize-constraints(
k
;
A
) == map-eval(
p
.normalize-constraint(
k
;
p
);
A
)
latex
Definitions
normalize-constraint(
k
;
p
)
,
map-eval(
x
.
f
(
x
);
L
)
FDL editor aliases
normalize-constraints
origin